Teaching

Master: Pierre-Louis Curien teaches in the course Models of programming languages: domains, categories, games of the MPRI (together with Thomas Ehrhard and Paul-André Melliès).

Alexis Saurin chairs LMFI M2 since September 2013.

Yann Régis-Gianas took part in the MPRI course entitled “Type systems”: he gave a 12-hour course about generalised algebraic data types, higher-order Hoare logic and dependently typed programming.

In addition to his regular teaching duties for the Computer Science department of Paris 7 (M1 and M2 Pro), Pierre Letouzey taught 2 courses in the LMFI M2 in 2015 : initiation to formal proofs on computer (24h) and models of programming (24h).

Matthieu Sozeau teaches in the MPRI course on Advanced uses of Proof Assistants (12 hours + a project), together with Assia Mahboubi (Inria SpecFun).

Licence and Master: Lourdes González had a temporary research and teaching position (A.T.E.R) at University Paris 7 for the academic year 2014–2015. During the second semester (Jan - Aug 2015) she was in charge of TP (Travaux pratiques, 44 hours) on the subjects “Projet Informatique” (L2) and “Introduction aux environnements de dévelopement et génie logiciel” (L3). During the second semester (Jan - Aug 2015) she was in charge of TP (Travaux pratiques, 24 hours) on the subject “Programmation système” (M1).

Licence: Étienne Miquey was in charge of practical sessions in the course “Analyse de données structurées” (36h, L2) and “Programmation Orientée Objet et Interface Graphique” (60h, L2) at University Paris 7.

MOOC: In collaboration with Roberto DiCosmo and Ralf Treinen, Yann Régis-Gianas has created a MOOC about the OCaml programming language.

Supervision

Internship: Yann Régis-Gianas has supervised the M2 internships of Béatrice Carré and Jacques Pascal Deplaix, and the M1 internships of Lélio Brun and of Loïc Runarvot.

Internship: Matthieu Sozeau has supervised the M2 internships of Gabriel Lewertowsky (with Nicolas Tabareau), who is now starting a PhD under their joint supervision, and of Cyprien Mangin, who is starting a PhD under the supervision of Bruno Barras and Matthieu Sozeau.

Internship: Yves Guiraud has supervised the M2 internship of Pierre Giraud.

PhD in progress: Guillaume Claret, supervised by Hugo Herbelin and Yann Régis-Gianas.

PhD in progress: Thibaut Girka, supervised by Roberto DiCosmo and Yann Régis-Gianas.

PhD in progress: Cyrille Chenavier, supervised by Yves Guiraud and Philippe Malbos.

PhD in progress: Maxime Lucas, supervised by Yves Guiraud and Pierre-Louis Curien.

PhD in progress: Jovana Obradović, supervised by Pierre-Louis Curien.

PhD in progress: Amina Doumane, supervised by Alexis Saurin, David Baelde and Pierre-Louis Curien.

PhD in progress: Étienne Miquey, supervised by Hugo Herbelin and Alexandre Miquel.

Pierre-Marie Pédrot and Lourdes González defended their PhD in 2015.

Juries

PhD Juries: Pierre-Louis Curien has been reviewer (rapporteur) for the PhD thesis of Fabio Zanasi (Lyon, October 2015).

Examinator tasks: In June and July 2015, Pierre Letouzey has participated to the jury of the competitive examination for the entrance to Ecole Normale Supérieure (ENS Ulm). More precisely, he has been responsible for the oral test of computer science and has been examiner for about forty candidates, one hour each.